Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Lambda-calcul — Le lambda calcul (ou λ calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives … Wikipédia en Français
Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Notation polonaise inverse — Pour les articles homonymes, voir NPI et RPN. Article principal : Notations infixée, préfixée, polonaise et postfixée. La notation polonaise inverse (NPI) (en anglais RPN pour Reverse Polish Notation), également connue sous le nom de… … Wikipédia en Français
Notation polonaise inversée — Notation polonaise inverse Pour les articles homonymes, voir NPI et RPN. La notation polonaise inverse (NPI) (en anglais RPN pour Reverse Polish Notation), également connue sous le nom de notation post fixée, permet de noter les formules… … Wikipédia en Français
Notation post-fixée — Notation polonaise inverse Pour les articles homonymes, voir NPI et RPN. La notation polonaise inverse (NPI) (en anglais RPN pour Reverse Polish Notation), également connue sous le nom de notation post fixée, permet de noter les formules… … Wikipédia en Français
Rpn — Notation polonaise inverse Pour les articles homonymes, voir NPI et RPN. La notation polonaise inverse (NPI) (en anglais RPN pour Reverse Polish Notation), également connue sous le nom de notation post fixée, permet de noter les formules… … Wikipédia en Français
Λ-calcul — Lambda calcul « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of… … Wikipédia en Français
parenthèse — [ parɑ̃tɛz ] n. f. • 1546; parenteze 1493; lat. parenthesis, du gr. enthesis « action de mettre » 1 ♦ Insertion, dans le corps d une phrase, d un élément qui, à la différence de l incise, interrompt la construction syntaxique; cet élément.… … Encyclopédie Universelle
1 − 2 + 3 − 4 + · · · — Série alternée des entiers Les premiers milliers de termes et de sommes partielles de 1 − 2 + 3 − 4 + … La série alternée des entiers est, en mathématiques, la série associée à la suite des nombres entiers (strictement positifs), affectés de… … Wikipédia en Français